Completeness theorem for continuous functions and product class-topologies
نویسندگان
چکیده
منابع مشابه
Completeness Theorem for Continuous Functions and Product Class-topologies
We introduce an infinitary logic LA(On, Cn)n∈ω which is an extension of LA obtained by adding new quantifiers On and C, for every n ∈ ω. The corresponding models are topological class-spaces. An axiomatization is given and the completeness theorem is proved.
متن کاملA Completeness theorem for Formal Topologies
The main mathematical result of this work is a quite simple formulation and proof of a Rasiowa-Sikorski-like theorem for countable lattices. Then the paper suggests an interpretation of this mathematical result as a completeness theorem for the formal topologies introduced by G. Sambin in order to provide a constructive approach to topology which is expressible within Martin Löf’s intuitionisti...
متن کاملA Completeness Theorem for "Total Boolean Functions"
In [3], Christine Tasson introduces an algebraic notion of totality for a denotational model of linear logic. The notion of total boolean function is, in a way, quite intuitive. This note provides a positive answer to the question of completeness of the " boolean centroidal calculus " w.r.t. total boolean functions. 0. Introduction. Even though the question answered in this note has its roots i...
متن کاملA completeness theorem for symmetric product phase spaces
In a previous work with Antonio Bucciarelli, we introduced indexed linear logic as a tool for studying and enlarging the denotational semantics of linear logic. In particular, we showed how to define new denotational models of linear logic using symmetric product phase models (truth-value models) of indexed linear logic. We present here a strict extension of indexed linear logic for which symme...
متن کاملTopologies on spaces of continuous functions ∗
It is well-known that a Hausdorff space is exponentiable if and only if it is locally compact, and that in this case the exponential topology is the compact-open topology. It is less well-known that among arbitrary topological spaces, the exponentiable spaces are precisely the core-compact spaces. The available approaches to the general characterization are based on either category theory or co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications de l'Institut Mathematique
سال: 2016
ISSN: 0350-1302,1820-7405
DOI: 10.2298/pim160525001d